Synchronous System
1. Two separate clock readings yield different values
2. chrocks are
$ \varepsilon
-synchronized: 任意の実時間
$ t
において、2つのプロセッサ
$ p, q
のクロックのズレは最大でも
$ \varepsilon
である
3. 伝送遅延・処理遅延は既知の定数
$ \delta
に制限される